#nexus
begin trees;
tree STATE_0 = [&R] (((1:7.158048931427864,(((2:15.780648580883451,(17:13.508824186664437,(((6:2.3026652379284016,7:3.3026652379284016):5.895962839130295,3:8.198628077058697):9.870342140220469,8:28.068970217279166):1.4398539693852719):4.2718243942190135):2.9609038793952323,9:19.741552460278683):0.21780686085917011,10:26.959359321137853):8.19868961029001):30.83060976864737,(4:43.31259768133317,5:44.31259768133317):20.67606101874206):62.575906863775685,((15:27.468897900644706,16:9.468897900644706):76.36271969662677,(11:7.871339468838961,((12:0.8742463587729006,14:8.8742463587729):0.15998273324675694,13:2.0342290920196575):20.837110376819304):78.96027812843252):21.732947966579445);
tree STATE_1000 = [&R] (((14:46.54134840609228,11:24.541348406092283):19.65730936598561,((((2:5.824602467185969E-4,9:1.0005824602467186):0.0026946431216536837,((13:0.020233456138937456,(3:2.660190065027683,(((5:0.06148616908878424,7:2.0614861690887842):0.9449245869045466,4:0.006410755993330852):0.06825416366764969,10:2.0746649196609805):0.5855251453667023):2.3600433911112546):1.0308056513589658,(12:0.032450133358970845,17:0.032450133358970845):0.018588974138932457):1.952237995870469):4.600125986932309,((15:0.012878228199886266,6:3.0128782281998863):1.4597918020491392,8:14.472670030249025):8.130733060051655):42.18343188622985,16:33.78683497653053):9.411822795547366):30.51581245210356,1:66.71447022418145);
tree STATE_2000 = [&R] ((((2:1.773968332942946,(6:9.374186801935679,((13:0.18383252981468345,((15:0.06991341795042949,((14:3.394167902325121,5:0.3941679023251208):1.0784226369883605,((8:10.931753154990842,10:0.931753154990842):1.306734190921322,4:0.23848734591216392):0.23410319340131736):0.5973228786369482):0.3237137952534237,7:4.393627213203853):1.7902053166108303):2.344657544848456,9:0.5284900746631394):1.8456967272725393):0.39978153100726743):6.925972705132384,(12:3.5757153057340787,(3:8.194870778130142,17:2.1948707781301415):1.3808445276039372):7.124225732341252):12.776660887466406,(11:8.550270611063084,1:0.550270611063084):0.9263313144786522):1.0240584074850432,16:9.50066033302678);
tree STATE_3000 = [&R] ((((((8:15.36517952798215,(15:5.380816623485885E-4,(4:0.9670220446635902,(5:1.3485622063552167,10:2.3485622063552167):0.6184598383083735):0.03351603699875838):2.3646414463198013):1.9153753701026233,((14:8.17122766895249,7:7.17122766895249):0.8532369929584291,13:2.024464661910919):0.2560902361738542):2.5588590904286015,9:2.8394139885133747):0.6525881730562908,2:2.4920021615696655):41.68475294741461,((6:33.25411818122345,(11:12.90626623715955,1:4.906266237159549):0.34785194406389763):17.85459566469381,((3:10.10098506637247,12:4.10098506637247):9.383285525862352,17:13.484270592234822):31.624443253682436):1.0680412630670162):11.352466246937574,16:42.52922135592185);
tree STATE_4000 = [&R] (((((((14:6.859926025588402,7:5.859926025588402):1.381986893682976,(8:15.05705537365652,(15:0.005332039743800365,(4:0.9515317987195129,(5:1.4436815143806108,10:2.4436815143806108):0.5078502843389021):0.05380024102428749):2.0517233339127188):1.1848575456148591):0.42754207187800475,13:1.669454991149383):3.628333269425063,9:3.297788260574446):1.3333493740901403,2:3.6311376346645865):30.510416249269436,(((6:21.80215224009635,11:1.8021522400963512):6.921409353085391,1:0.7235615931817421):11.00387418675875,((3:14.823558868898274,12:8.823558868898274):11.609836602426157,17:20.43339547132443):13.294040308616061):2.4141181039935304):8.934837925629324,16:30.076391809563347);
tree STATE_5000 = [&R] ((((((13:1.6734561953835403,7:7.67345619538354):0.743400444258544,((14:6.204684122006901,((10:3.049818986942485,4:1.0498189869424852):0.2463288912092505,(15:0.28987060111028384,5:2.289870601110284):0.0062772770414518675):0.9085362438551652):0.039648032215923834,8:14.244332154222825):3.1725244854192596):4.061647122509992,2:3.4785037621520765):1.3344319671373093,9:5.812935729289386):43.38983919327553,(((6:21.99908571694836,11:1.9990857169483611):9.846201904816116,1:3.845287621764477):11.666820437868942,((3:10.412603565241167,12:4.412603565241167):13.560115779605947,17:17.972719344847114):19.539388714786305):12.690666862931494):1.5478407200656505,16:36.750615642630564);
tree STATE_6000 = [&R] ((((((13:1.0333805329311012,((((4:1.5627175352590648,10:3.5627175352590648):0.031292972804735086,(15:0.5476244459397392,5:2.5476244459397392):0.0463860621240606):1.1035859966677926,8:14.697596504731592):0.7097035162087106,14:7.407300020940303):0.6260805119907982):0.41203471344480036,7:7.445415246375902):3.760978802693046,2:2.2063940490689475):0.43480344506795987,9:3.6411974941369074):30.87738962621611,(((6:22.301693283613183,11:2.301693283613183):9.026536652182855,1:3.3282299357960383):6.467045734385451,((3:9.783646223397852,12:3.7836462233978523):15.244706832791678,17:19.02835305618953):12.766922613991959):3.723311450171529):11.248101259165011,16:31.76668837951803);
tree STATE_7000 = [&R] ((((((13:1.4789330647842291,7:7.478933064784229):0.22086572720810338,((((15:0.4709483172425397,5:2.4709483172425397):0.048792868200459694,(4:0.8366342068741428,8:12.836634206874143):0.6831069785688566):0.40571564382210745,10:3.925456829265107):0.7086904154611222,14:6.634147244726229):2.0656515472661034):3.6813015416521964,9:3.381100333644529):0.7236458140845272,2:3.104746147729056):35.49104967293272,(((6:23.499534187112936,11:3.4995341871129355):6.28054469398635,1:1.7800788810992856):9.257503891529389,((3:10.250530963633793,12:4.250530963633793):13.873411646650375,17:18.123942610284168):14.913640162344507):7.558213048033096):7.147376660779457,16:32.74317248144123);
tree STATE_8000 = [&R] ((((9:3.9820104678808157,2:2.9820104678808157):0.3440533957859735,((((8:15.22959697985274,14:7.22959697985274):0.008124472100789148,((15:0.4149442029932171,10:3.414944202993217):0.8258166627049803,(5:2.6491402961242603,4:1.6491402961242603):0.5916205695739372):0.9969605862553319):1.5479887664368022,13:1.7857102183903315):0.11615420756072226,7:7.901864425951054):4.424199437715735):35.3364894734205,(((6:22.490207819083082,11:2.490207819083082):7.42976909774611,1:1.9199769168291922):9.163534806163597,((3:12.774418755363811,12:6.774418755363811):10.267216818811043,17:17.041635574174855):16.041876148817934):7.5790416140945):6.645153042852918,16:32.30770637994021);
tree STATE_9000 = [&R] (((((((8:14.44491118748396,((10:2.8895058872156696,4:0.8895058872156696):0.46562630054386034,(15:0.21990116666887083,5:2.219901166668871):0.1352310210906591):1.0897789997244303):1.1778132864634099,(7:6.101238589115887,14:7.101238589115887):0.521485884831483):0.2460889325188429,13:0.868813406466213):4.765071704453252,9:3.633885110919465):0.9364900581142734,2:3.5703751690337384):29.60204879609428,(((6:23.499753551023325,11:3.499753551023325):8.32650712168875,1:3.826260672712074):6.063499524087256,((3:11.027841462691548,12:5.027841462691548):7.901252235063886,17:12.929093697755434):18.960666499043896):3.282663768328689):8.221910802128939,16:28.394334767256957);
tree STATE_10000 = [&R] ((((((7:7.298927374846272,((8:14.594449630582348,(((5:1.8183725864769062,10:2.8183725864769062):1.1928901757298593,15:1.0112627622067656):0.2510420661407231,4:2.2623048283474887):0.3321448022348594):0.6052171029262272,14:7.199666733508575):1.0992606413376969):0.21621677291872032,13:1.5151441477649925):4.061546791702426,9:3.5766909394674187):1.6690945638107024,2:4.245785503278121):41.552931060074904,(((6:23.690742294247336,11:3.690742294247336):8.892634669632024,1:4.58337696387936):8.566344789621937,((3:10.696748632586399,12:4.696748632586399):12.737683436267972,17:17.43443206885437):17.715289684646926):12.648994809851729):5.417969764104868,16:38.21668632745789);
End;